<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="tutorial.css">
<TITLE>
An Overview of the Constraint Libraries
</TITLE>
</HEAD>
<BODY >
<A HREF="tutorial042.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial053.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc94">Chapter&nbsp;7</A>&nbsp;&nbsp;An Overview of the Constraint Libraries</H1>

<BR>
<BR>
<UL>
<LI><A HREF="tutorial047.html">Introduction</A>
<LI><A HREF="tutorial048.html">Implementations of Domains and Constraints</A>
<UL>
<LI><A HREF="tutorial048.html#toc50">Suspended Goals: <EM>suspend</EM></A>
<LI><A HREF="tutorial048.html#toc51">Interval Solver: <EM>ic</EM></A>
<LI><A HREF="tutorial048.html#toc52">Global Constraints: <EM>ic_global</EM></A>
<LI><A HREF="tutorial048.html#toc53">Scheduling Constraints: <EM>ic_cumulative, ic_edge_finder</EM></A>
<LI><A HREF="tutorial048.html#toc54">Finite Integer Sets: <EM>ic_sets</EM></A>
<LI><A HREF="tutorial048.html#toc55">Linear Constraints: <EM>eplex</EM></A>
<LI><A HREF="tutorial048.html#toc56">Constraints over symbols: <EM>ic_symbolic</EM></A>
</UL>
<LI><A HREF="tutorial049.html">User-Defined Constraints</A>
<UL>
<LI><A HREF="tutorial049.html#toc57">Generalised Propagation: <EM>propia</EM></A>
<LI><A HREF="tutorial049.html#toc58">Constraint Handling Rules: <EM>ech</EM></A>
</UL>
<LI><A HREF="tutorial050.html">Search and Optimisation Support</A>
<UL>
<LI><A HREF="tutorial050.html#toc59">Tree Search Methods: <EM>ic_search</EM></A>
<LI><A HREF="tutorial050.html#toc60">Optimisation: <EM>branch_and_bound</EM></A>
</UL>
<LI><A HREF="tutorial051.html">Hybridisation Support</A>
<UL>
<LI><A HREF="tutorial051.html#toc61">Repair and Local Search: <EM>repair</EM></A>
<LI><A HREF="tutorial051.html#toc62">Hybrid: <EM>ic_probing_for_scheduling</EM></A>
</UL>
<LI><A HREF="tutorial052.html">Other Libraries</A>
</UL>

<BR>
<BR>
<HR WIDTH="50%" SIZE=1><DL CLASS="list"><DT CLASS="dt-list"><A NAME="note1" HREF="tutorial048.html#text1"><FONT SIZE=5>1</FONT></A><DD CLASS="dd-list">and the <EM>fd</EM> library which will not be addressed in this tutorial
<DT CLASS="dt-list"><A NAME="note2" HREF="tutorial048.html#text2"><FONT SIZE=5>2</FONT></A><DD CLASS="dd-list">
the other set solvers lib(conjunto) and lib(fd_sets) are similar but not
addressed in this tutorial
</DL>
<HR>
<A HREF="tutorial042.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial053.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
